2221. Visualization, explanation and reasoning styles in mathematics
Author: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Mathematics--Philosophy,Logic, Symbolic and mathematical.,Visualization.
Classification :
QA
,
8
.
6
,.
V57
,
2005
2222. Visualization, explanation and reasoning styles in mathematics
Author: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
Classification :
QA8
.
6
.
V57
2005
2223. Visualization, explanation and reasoning styles in mathematics
Author: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
Classification :
QA8
.
6
.
V57
2005
2224. Visualization, explanation and reasoning styles in mathematics
Author: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
Classification :
QA8
.
6
.
V57
2005
2225. Visualization, explanation and reasoning styles in mathematics
Author: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
Classification :
E-BOOK
2226. Visualization, explanation and reasoning styles in mathematics ]electronic resources[
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Visualization
Classification :
QA
8
.
6
.
V57
2005
2227. Vivid logic
Author: / Gerd Wagner
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Expert systems (Computer science),Logic, Symbolic and mathematical.
Classification :
QA
,
76
.
76
,.
E95
,
W33
,
1994
2228. Vivid logic :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Expert systems (Computer science) ; Logic, Symbolic and mathematical. ;
2229. Vivid logic : knowledge-based reasoning with two kinds of negation
Author: Wagner, Gerd, 7591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
764
2230. Vollstandige Systeme modaler und intuitionistischer Logik
Author: Schutte, Kurt
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
S3793
2231. Vollstandige systeme modaler und intuitioni tischor logik
Author: Schutte, Kurt
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Model theory,، Logic symbolic and mathematical
Classification :
QA
9
.
7
.
S39V6
2232. Vollstandige systeme modaler und intuitionistischer Logik
Author: Schutte, Kurt
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
S46
1968
2233. Waht is mathematical logic ?
Author: / J. N. Crossley ... [et al.]
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, symbolic and mathematical
Classification :
511
.
3
Wh
2234. What Logics Mean
Author: / James W. Garson
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic,Semantics,Logic, Symbolic and mathematical,منطق,معنی شناسی,منطق ریاضی
Classification :
BC71
.
G37
2013
2235. What is a logical system?
Author: edited by D.M. Gabbay
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Computer science
Classification :
QA
9
.
2
.
W48
1994
2236. What is mathematical logic
Author: J.N. Crossley...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
W43
1972
2237. What is mathematical logic?
Author: / J. N. Crossley ... [et all]
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Logic, symbolic and mathematical
Classification :
QA9
.
W55
2238. What is mathematical logic?
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical. ;
2239. What is mathematical logic?
Author: / J.N. Crossley ... [et al.]
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.
Classification :
QA9
,.
W47
,
1990
2240. What logics mean : from proof theory to model-theoretic semantics
Author: Garson, James W., 3491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic,، Semantics,، Logic, Symbolic and mathematical
Classification :
BC
71
.
G37W45
